A Proof of the Compositions of Time Interval Relations
نویسندگان
چکیده
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
منابع مشابه
I-18: Techniques and Technologies for Embryo Transfer: Does It Really Matter.
The learning objectives of this presentation are to understand the dynamics involved in the process of ET, evaluate the evidence for/against common practices and techniques and develop a standardized ET process in view of supporting evidence. Gametes and embryos are handled with extreme care at every step of the Laboratory process. ET is the least sophisticated step of the in vitro Fertilizatio...
متن کاملINCOMPLETE INTERVAL-VALUED HESITANT FUZZY PREFERENCE RELATIONS IN DECISION MAKING
In this article, we propose a method to deal with incomplete interval-valuedhesitant fuzzy preference relations. For this purpose, an additivetransitivity inspired technique for interval-valued hesitant fuzzypreference relations is formulated which assists in estimating missingpreferences. First of all, we introduce a condition for decision makersproviding incomplete information. Decision maker...
متن کاملA New Type-2 Fuzzy Systems for Flexible-Joint Robot Arm Control
In this paper an adaptive neuro fuzzy inference system based on interval Gaussian type-2 fuzzy sets in the antecedent part and Gaussian type-1 fuzzy sets as coefficients of linear combination of input variables in the consequent part is presented. The capability of the proposed method (we named ANFIS2) to function approximation and dynamical system identification is shown. The ANFIS2 structure ...
متن کاملUNCERTAINTY DATA CREATING INTERVAL-VALUED FUZZY RELATION IN DECISION MAKING MODEL WITH GENERAL PREFERENCE STRUCTURE
The paper introduces a new approach to preference structure, where from a weak preference relation derive the following relations:strict preference, indifference and incomparability, which by aggregations and negations are created and examined. We decomposing a preference relation into a strict preference, anindifference, and an incomparability relation.This approach allows one to quantify diff...
متن کاملتحلیل سیگنالهای الکتریکی قلب (ECG) با روش حذف شیب چند فرکتالی
In recent years cardiac interbeat interval time series have been investigated by DFA and MF-DFA methods. In this paper instead of investigating cardiac interbeat interval time series, ECG signals are considered, it is shown that the normal and abnormal heart signals have different scaling relations.
متن کامل